Primitive types

Results: 885



#Item
181Data types / Type theory / Compiler construction / Primitive types / Cross-platform software / LLVM / Type safety / Blocks / Pointer / Software engineering / Computing / Computer programming

Formalizing the LLVM Intermediate Representation for Verified Program Transformations ∗ Jianzhou Zhao Santosh Nagarakatte

Add to Reading List

Source URL: www.cis.upenn.edu

Language: English - Date: 2012-01-05 09:49:14
182Software bugs / C++ / Memory management / Data types / Primitive types / Pointer / Dangling pointer / Memory safety / C / Computing / Software engineering / Computer programming

Ironclad C++ A Library-Augmented Type-Safe Subset of C++ Christian DeLozier Richard Eisenberg Santosh Nagarakatte†

Add to Reading List

Source URL: www.cis.upenn.edu

Language: English - Date: 2013-09-17 20:34:39
183Data types / Computer arithmetic / Primitive types / Code refactoring / Extreme programming / Floating point / Rounding / C++ classes / Fortran / Computing / Software engineering / Computer programming

design Editor: Martin Fowler ■ T h o u g h t Wo r k s

Add to Reading List

Source URL: martinfowler.com

Language: English - Date: 2015-04-10 15:16:06
184C++ / Data types / Primitive types / C programming language / Procedural programming languages / Pointer / Tree traversal / Reference / C / Software engineering / Computing / Computer programming

Lightweight Annotations for Controlling Sharing in Concurrent Data Structures Zachary Anderson David Gay

Add to Reading List

Source URL: www.barnowl.org

Language: English - Date: 2009-04-01 19:08:58
185Data types / Memory management / C++ / Primitive types / Cross-platform software / Pointer / Garbage collection / C / Struct / Computing / Software engineering / Computer programming

QISH introduction Basile STARYNKEVITCH http://www.starynkevitch.net/Basile/ 8, rue de la Faencerie, 92340 Bourg La Reine, France

Add to Reading List

Source URL: starynkevitch.net

Language: English - Date: 2007-11-12 02:46:48
186Units of information / Primitive types / Binary file / Erlang / Binary star / Endianness / Resource fork / Field / Network packet / Computing / Information / Data types

A Stream Library using Erlang Binaries Jay Nelson DuoMark International, Inc. http://www.duomark.com/ Abstract

Add to Reading List

Source URL: www.duomark.com

Language: English - Date: 2010-06-27 01:12:27
187Procedural programming languages / Data types / Primitive types / Pascal / ALGOL 68 / Subroutine / FALSE / Boolean data type / Visual Basic / Software engineering / Computer programming / Computing

Microsoft Word - PLCGuide.doc

Add to Reading List

Source URL: download.arsoft-int.com

Language: English - Date: 2009-06-25 09:45:19
188Scanning laser polarimetry / Endianness / String / Extensible Storage Engine / Pascal / Software engineering / Programming language theory / Computing / Data types / Primitive types

GAMS Data Exchange API System and Reference Manual, created onCopyright (cGAMS Development Corporation. All rights reserved. GAMS Data Exchange API

Add to Reading List

Source URL: gams.com

Language: English - Date: 2014-12-22 04:53:24
189Data types / Source code / Primitive types / C programming language / Public domain software / Macro / Constant / C syntax / C / Computer programming / Software engineering / Computing

Gentee overview Introduction The Gentee programming language can be classified as a procedure-oriented language with some features typical of object-oriented programming. It has no complicated constructions and is easy t

Add to Reading List

Source URL: www.gentee.com

Language: English - Date: 2009-09-29 11:25:48
190Data types / SNOBOL / Pattern matching / Compiler / C / String / Programming language / Variable / Primitive data type / Software engineering / Computing / Computer programming

he SNOBOL4 Programming Language he SNOBOL4 Programming Language The SNOBOL4 Programming Language The SNOBOL4 Programming Language The SNOBOL4 Programming Language The SNOBOL4 Programming Language

Add to Reading List

Source URL: www.math.bas.bg

Language: English - Date: 2011-01-30 05:09:52
UPDATE